Verication Principle